401. Philosophical and Mathematical Logic
Author: /Harrie de Swart
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject:
402. Philosophical and Mathematical Logic /
Author: by Harrie de Swart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Epistemology.,Mathematical Logic and Formal Languages.,Mathematical Logic and Foundations.
Classification :
BD143-237
403. Philosophical and mathematical logic /
Author: Harrie de Swart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
Classification :
BC131
404. Philosophical and mathematical logic /
Author: Harrie de Swart.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Logic, Symbolic and mathematical.,Logic.
Classification :
BC135
.
S93
2018
405. Principles of mathematical logic
Author: Hilbert, David
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
H514
406. Principles of mathematical logic
Author: / by D. Hilbert and W. Ackermann
Library: Library of Institude of Geophysics (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
H5
.
P7
407. Principles of mathematical logic
Author: / by D. Hilbert and W. Ackermann
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
BC135
.
H514
408. Principles of mathematical logic
Author: D. Hilbert and W. Ackermann; translated from the German by Lewis M. Hammond, George G. Leckie, F. Steinhardt; edited and with notes by Robert E. Luce
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
H55G7813
409. #Principles of mathematical login
پدیدآورنده : Hilbert, David,2681-3491., D. Hilbert and W. Ackermann
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
410. Proofs and refutations: the logic of mathematical discovery
Author: Lakatos, Imre
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathemaics-- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
8
.
4
.
I34
411. Proofs and refutations : the logic of mathematical discovery
Author: Imre lakatos; edited by John Worrall and Elie Zahar
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
8
.
4
.
L35
1976
412. Proofs and refutations : the logic of mathematical discovery
Author: Lakatos, Imre 4791 -
Library: Library of Mofid University (Qom)
Subject:
Classification :
QA
1
.
L3
P7
1999
413. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Author: Edited by John N. Crossley
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
9
.
S86
1965
414. Studies in Constructive Mathematics and Mathematical Logic
Author: edited by A. O. Slisenko.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General).
415. Studies in constructive mathematics and mathematical logic
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
I813
416. THE ELEMENTS OF MATHEMATICAL LOGIC
Author:
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject:
Classification :
517
.
1
417. Temporal logic : mathematical foundations and computational aspects
Author: Gabbay, Dov M.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming , Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
G27
1994
418. The Mathematical Analysis of Logic; Being an Essay Towards a Calculus of Deductive Reasoning
Author: /By George Boole.
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: منطق
Classification :
BC
۷۱
/
ب
۹
م
۲ ۱۳۴۴
419. The axiomatic method; an introduction to mathematical logic
Author: Lightstone, A. H.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
Classification :
QA
248
.
L53
420. The development of mathematical logic
Author: / by P. H. Nidditch
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics - Philosoph,Logic, symbolic and mathematical
Classification :
511
.
3
Ni-D
